Formal analysis of design process dynamics
نویسندگان
چکیده
منابع مشابه
Formal analysis of design process dynamics
This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design properties at different levels of aggregation. This approach is specifically suitable for component-ba...
متن کاملAnalysis of Design Process Dynamics
Abstract. To enable the development of automated support for design, a challenge is to model and analyse dynamics of design processes in a formal manner. This paper contributes a declarative, logical approach for specification of dynamic properties of design processes, supported by a formal temporal language. This language is used to specify dynamic properties of a design process as a whole, or...
متن کاملAnalysis of Design Process Dynamics ( extended
Providing automated support to manage the dynamics of a design process is in most cases not trivial. For example, in [3] some of the requirements put forward are that (1) a complete design process representation is needed, (2) with sufficient detail to allow for direct execution. Also by [1], [2] it is put forward that supporting the management of the dynamics of a design process is an importan...
متن کاملDesign and Sensitivity Analysis of a Formal Test Process Model
Software testing is a quality-assess process for computer applications. Different qualitative and quantitative factors influence the process of testing during the software life cycle phase. In this paper a formal Test Process Model is designed and the change of behavior of the testing process is evaluated on the basis of several qualitative and quantitative influencing factors. The parameters a...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence for Engineering Design, Analysis and Manufacturing
سال: 2010
ISSN: 0890-0604,1469-1760
DOI: 10.1017/s0890060409990114